Second ECOOP Workshop on Precise Behavioral Semantics (with an Emphasis on OO Business Specifications)
نویسندگان
چکیده
Business specifications are essential to describe and understand businesses (and, in particular, business rules) independently of any computing systems used for their possible automation. They have to express this understanding in a clear, precise, and explicit way, in order to act as a common ground between business domain experts and software developers. They also provide the basis for reuse of concepts and constructs (“patterns”) common to all – from finance to telecommunications –, or a large number of, businesses, and in doing so save intellectual effort, time and money. Moreover, these patterns substantially ease the elicitation and validation of business specifications during walkthroughs with business customers, and support separation of concerns using viewpoints. Precise specifications of business semantics in business terms provide a common ground for subject matter experts, analysts and developers. All users of these specifications ought to be able to understand them. Therefore languages used to express such specifications should have precise semantics: as noted by Wittgenstein, “the silent adjustments to understand colloquial language are enormously complicated” [4]. (Not only English may be colloquial; graphical representations also may have this property1.) If business specifications do not exist, or if they are incomplete, vague or inconsistent, then the developers will (have to) invent business rules. This often leads to systems that do something quite different from what they were supposed to do. Business specifications are refined into business designs (“who does what when”), from where creation of various information system (software) specifications and implementations based on a choice of strategy and – precisely and explicitly specified! – environment, including technological architecture, are possible. In this con-
منابع مشابه
Schedules of Activity in the Swarm Simulation System Position Paper for OOPSLA ‘97 Workshop on OO Behavioral Semantics
Behavioral specifications for object-oriented systems require specifying the actions that occur on objects in addition to any specifications for the objects themselves. The actions that trigger operations on objects can often be described better using specifications that are separate from the objects themselves, especially if complex sequences of actions that unfold over time are involved. This...
متن کاملAPPLICATION OF DEA FOR SELECTING MOST EFFICIENT INFORMATION SYSTEM PROJECT WITH IMPRECISE DATA
The selection of best Information System (IS) project from many competing proposals is a critical business activity which is very helpful to all organizations. While previous IS project selection methods are useful but have restricted application because they handle only cases with precise data. Indeed, these methods are based on precise data with less emphasis on imprecise data. This paper pro...
متن کاملMeta-Modelling Semantics of UML
--------OO modelling notations such as the UML embody high-quality modelling experiences, but the lack of precise semantics for the notations prohibits rigorous analysis of the models. In this paper we examine how the existing semantics of UML can be strengthened to support the development of rigorous analysis and proof techniques. Our
متن کاملOOSA'98 ECOOP'98 Workshop on Object-Oriented Software Architectures (Workshop Summary)
Recently, one can recognize an increased awareness in the object-oriented research community with respect to the role of software architectures. Examples of this can, among others, be found in object-oriented frameworks and design patterns. In the call for papers for the workshop, the following topics were identified where software architecture, patterns and frameworks should be studied in more...
متن کاملW2: Clinical Training Workshop: Transdiagnostic Group CBT for Anxiety Disorders
This workshop is an evidence-based Cognitive Behavioral Therapy (CBT) training for mental health professionals and counselling graduate students in group therapy for anxiety disorders. The “transdiagnostic” approach is gaining widespread acceptance because it enables therapists to treat a variety of anxiety disorders using a common group protocol. Training will focus specifically on delivering ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998